[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 177 167 131 1078 144 0 16422 116

N.S.

1 0.93 0.87 0.69 5.64 0.75 0.00 85.98 0.61

time (sec)

N/A 0.324 0.389 7.800 0.268 0.256 0.000 0.757 27.222

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 80 51 46 93 59 100 0 50

N.S.

1 1.10 0.70 0.63 1.27 0.81 1.37 0.00 0.68

time (sec)

N/A 0.275 0.117 12.884 0.231 0.258 7.541 0.000 27.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 37 22 30 20 25 0 25 21

N.S.

1 1.28 0.76 1.03 0.69 0.86 0.00 0.86 0.72

time (sec)

N/A 0.192 0.040 0.806 0.197 0.245 0.000 0.287 25.675

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

101 106 0 0 82 60 0 267 131

N.S.

1 1.05 0.00 0.00 0.81 0.59 0.00 2.64 1.30

time (sec)

N/A 0.403 0.000 0.000 0.260 0.256 0.000 1.180 28.332

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

62 72 0 0 29 40 0 1 83

N.S.

1 1.16 0.00 0.00 0.47 0.65 0.00 0.02 1.34

time (sec)

N/A 0.284 0.000 0.000 0.233 0.241 0.000 0.353 28.801

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F C B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

117 129 0 0 172 107 0 498 143

N.S.

1 1.10 0.00 0.00 1.47 0.91 0.00 4.26 1.22

time (sec)

N/A 0.411 0.000 0.000 0.262 0.262 0.000 4.228 28.377

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F A B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

68 85 0 0 41 57 0 1 86

N.S.

1 1.25 0.00 0.00 0.60 0.84 0.00 0.01 1.26

time (sec)

N/A 0.303 0.000 0.000 0.240 0.243 0.000 0.612 29.065

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A C F C B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

226 231 158 0 195 128 0 1870 277

N.S.

1 1.02 0.70 0.00 0.86 0.57 0.00 8.27 1.23

time (sec)

N/A 0.397 1.043 0.000 0.273 0.260 0.000 10.409 30.253

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F A C F F(-2) B

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

128 138 0 0 106 84 0 0 158

N.S.

1 1.08 0.00 0.00 0.83 0.66 0.00 0.00 1.23

time (sec)

N/A 0.350 0.000 0.000 0.241 0.252 0.000 0.000 27.166

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

110 110 377 0 0 0 0 0 0

N.S.

1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 3.775 0.000 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 181 0 84 0 0 23

N.S.

1 1.00 1.00 7.54 0.00 3.50 0.00 0.00 0.96

time (sec)

N/A 0.208 0.065 2.868 0.000 0.082 0.000 0.000 26.581

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 220 0 0 0 0 0 0

N.S.

1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.294 0.795 0.000 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 61 54 247 0 107 0 0 56

N.S.

1 0.97 0.86 3.92 0.00 1.70 0.00 0.00 0.89

time (sec)

N/A 0.273 0.088 3.559 0.000 0.085 0.000 0.000 26.497

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

110 110 696 0 0 0 0 0 0

N.S.

1 1.00 6.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 8.494 0.000 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 61 58 280 0 113 0 0 65

N.S.

1 0.97 0.92 4.44 0.00 1.79 0.00 0.00 1.03

time (sec)

N/A 0.274 0.106 7.510 0.000 0.091 0.000 0.000 26.958

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 134 0 0 0 0 0 0

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.385 0.000 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 26 0 78 0 0 23

N.S.

1 1.00 1.00 1.08 0.00 3.25 0.00 0.00 0.96

time (sec)

N/A 0.208 0.059 1.177 0.000 0.080 0.000 0.000 26.371

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 431 0 0 0 0 0 0

N.S.

1 1.00 3.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.294 6.574 0.000 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 57 54 250 0 150 0 0 65

N.S.

1 0.97 0.92 4.24 0.00 2.54 0.00 0.00 1.10

time (sec)

N/A 0.270 0.140 2.461 0.000 0.091 0.000 0.000 27.257

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 188 0 0 0 0 0 0

N.S.

1 1.00 1.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.292 2.006 0.000 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 61 54 291 0 149 0 0 65

N.S.

1 0.97 0.86 4.62 0.00 2.37 0.00 0.00 1.03

time (sec)

N/A 0.271 0.158 2.607 0.000 0.087 0.000 0.000 27.863

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 48 82 0 187 39 0 0 48

N.S.

1 1.00 1.71 0.00 3.90 0.81 0.00 0.00 1.00

time (sec)

N/A 0.223 0.153 0.000 0.348 0.260 0.000 0.000 27.880

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 232 312 222 3537 273 0 225232 152

N.S.

1 0.87 1.17 0.83 13.30 1.03 0.00 846.74 0.57

time (sec)

N/A 0.405 3.058 127.385 0.428 0.263 0.000 6.153 28.481

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 182 292 160 2352 190 0 159584 140

N.S.

1 0.91 1.45 0.80 11.70 0.95 0.00 793.95 0.70

time (sec)

N/A 0.363 1.590 28.453 0.364 0.269 0.000 4.729 28.563

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 91 83 646 105 0 8742 82

N.S.

1 1.00 0.76 0.69 5.38 0.88 0.00 72.85 0.68

time (sec)

N/A 0.239 0.364 5.161 0.282 0.246 0.000 0.697 27.273

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 53 63 313 58 0 5162 70

N.S.

1 1.00 0.76 0.90 4.47 0.83 0.00 73.74 1.00

time (sec)

N/A 0.195 0.113 0.900 0.237 0.243 0.000 0.481 27.081

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

130 126 204 0 0 0 0 0 0

N.S.

1 0.97 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 1.880 0.000 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 126 436 0 0 0 0 0 0

N.S.

1 0.98 3.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 5.764 0.000 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

130 130 119 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.331 0.694 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 126 487 0 0 0 0 0 0

N.S.

1 0.97 3.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 3.979 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

130 126 205 0 0 0 0 0 0

N.S.

1 0.97 1.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 1.983 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

144 181 170 0 0 0 0 0 0

N.S.

1 1.26 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.374 1.519 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 141 0 0 0 0 0 0

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 0.776 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 112 143 0 0 0 0 0 0

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.302 0.584 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 132 37 88 30 37 37 36

N.S.

1 1.00 2.81 0.79 1.87 0.64 0.79 0.79 0.77

time (sec)

N/A 0.234 0.035 4.364 0.196 0.243 0.121 0.354 25.983

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 42 66 33 149 42 61 26 36

N.S.

1 0.98 1.53 0.77 3.47 0.98 1.42 0.60 0.84

time (sec)

N/A 0.205 0.031 3.039 0.304 0.251 0.106 0.341 26.151

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 114 26 70 21 26 28 25

N.S.

1 1.00 3.45 0.79 2.12 0.64 0.79 0.85 0.76

time (sec)

N/A 0.206 0.022 2.105 0.193 0.255 0.097 0.342 26.229

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 42 22 122 33 27 17 25

N.S.

1 1.00 1.56 0.81 4.52 1.22 1.00 0.63 0.93

time (sec)

N/A 0.172 0.013 1.556 0.301 0.238 0.098 0.320 27.554

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 17 10 16 17 73 16

N.S.

1 1.00 1.00 1.21 0.71 1.14 1.21 5.21 1.14

time (sec)

N/A 0.183 0.050 0.649 0.192 0.241 0.144 0.338 29.966

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 44 24 127 39 27 19 27

N.S.

1 1.00 1.52 0.83 4.38 1.34 0.93 0.66 0.93

time (sec)

N/A 0.189 0.033 1.677 0.302 0.254 0.116 0.356 27.699

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 132 36 94 37 39 36 35

N.S.

1 1.00 3.77 1.03 2.69 1.06 1.11 1.03 1.00

time (sec)

N/A 0.209 0.038 2.541 0.206 0.232 0.187 0.347 27.791

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 46 70 35 156 53 53 28 40

N.S.

1 1.02 1.56 0.78 3.47 1.18 1.18 0.62 0.89

time (sec)

N/A 0.207 0.034 3.666 0.371 0.238 0.155 0.347 27.743

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 155 52 217 64 54 261 51

N.S.

1 1.06 2.46 0.83 3.44 1.02 0.86 4.14 0.81

time (sec)

N/A 0.265 0.193 5.163 0.210 0.242 0.174 0.461 27.490

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 79 100 48 254 86 66 141 52

N.S.

1 1.27 1.61 0.77 4.10 1.39 1.06 2.27 0.84

time (sec)

N/A 0.255 0.099 2.923 0.309 0.242 0.171 0.457 27.679

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 53 135 42 185 54 42 221 41

N.S.

1 1.04 2.65 0.82 3.63 1.06 0.82 4.33 0.80

time (sec)

N/A 0.233 0.093 1.361 0.208 0.236 0.152 0.459 28.087

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 70 36 218 77 51 114 42

N.S.

1 1.00 1.52 0.78 4.74 1.67 1.11 2.48 0.91

time (sec)

N/A 0.209 0.068 1.474 0.347 0.245 0.162 0.383 27.842

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 17 17 30 22 17 16

N.S.

1 1.00 1.56 0.94 0.94 1.67 1.22 0.94 0.89

time (sec)

N/A 0.198 0.042 0.548 0.284 0.236 0.163 0.306 26.817

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 76 72 38 223 78 54 73 45

N.S.

1 1.27 1.20 0.63 3.72 1.30 0.90 1.22 0.75

time (sec)

N/A 0.240 0.095 0.869 0.306 0.267 0.194 0.473 26.729

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 150 51 0 74 61 178 56

N.S.

1 1.00 2.73 0.93 0.00 1.35 1.11 3.24 1.02

time (sec)

N/A 0.246 0.135 1.247 0.000 0.245 0.277 0.462 26.604

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 124 0 0 0 0 0 0

N.S.

1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 122 86 0 0 0 0 0 0

N.S.

1 1.58 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.309 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 225 125 0 0 0 0 0 0

N.S.

1 1.22 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 0.235 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

142 142 330 0 0 0 0 0 0

N.S.

1 1.00 2.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.296 0.593 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

162 162 157 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.344 0.704 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

120 120 240 0 0 0 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.276 0.455 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

120 120 240 0 0 0 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.386 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

120 120 240 0 0 0 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.276 0.573 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 107 146 0 0 0 0 0 0

N.S.

1 1.51 2.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.296 5.636 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 111 155 0 0 0 0 0 0

N.S.

1 1.48 2.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.298 4.487 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 105 146 0 0 0 0 0 0

N.S.

1 1.52 2.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.298 4.766 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 101 151 0 0 0 0 0 0

N.S.

1 1.51 2.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 7.738 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 25 30 24 35 44 0 38

N.S.

1 1.00 0.96 1.15 0.92 1.35 1.69 0.00 1.46

time (sec)

N/A 0.212 0.058 0.205 0.208 0.259 1.399 0.000 29.342

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 105 153 0 0 0 0 0 0

N.S.

1 1.48 2.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 3.299 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 105 147 0 0 0 0 0 0

N.S.

1 1.52 2.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 2.813 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

159 213 179 0 0 0 0 0 0

N.S.

1 1.34 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.459 5.597 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 217 189 0 0 0 0 0 0

N.S.

1 1.33 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.450 4.704 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

159 213 179 0 0 0 0 0 0

N.S.

1 1.34 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.444 4.884 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 207 185 0 0 0 0 0 0

N.S.

1 1.34 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.431 8.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 34 51 35 320 85 0 0 39

N.S.

1 1.17 1.76 1.21 11.03 2.93 0.00 0.00 1.34

time (sec)

N/A 0.218 0.091 0.181 0.222 0.248 0.000 0.000 31.481

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 212 184 0 0 0 0 0 0

N.S.

1 1.35 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.449 3.380 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 213 179 0 0 0 0 0 0

N.S.

1 1.37 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.446 3.095 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 41 38 41 1242 69 63 0 105

N.S.

1 0.95 0.88 0.95 28.88 1.60 1.47 0.00 2.44

time (sec)

N/A 0.272 0.164 0.291 0.237 0.258 0.785 0.000 32.069

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 47 62 44 2171 140 65 0 183

N.S.

1 1.04 1.38 0.98 48.24 3.11 1.44 0.00 4.07

time (sec)

N/A 0.276 0.082 0.417 0.270 0.252 1.651 0.000 37.026

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 62 55 57 4466 129 82 0 247

N.S.

1 0.93 0.82 0.85 66.66 1.93 1.22 0.00 3.69

time (sec)

N/A 0.340 0.143 0.635 0.310 0.261 3.918 0.000 32.623

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 137 186 0 0 0 0 0 0

N.S.

1 1.36 1.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.333 12.536 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

196 243 550 0 0 0 0 0 0

N.S.

1 1.24 2.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.504 16.131 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

351 410 642 0 0 0 0 0 0

N.S.

1 1.17 1.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.765 16.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

190 190 458 0 0 0 0 0 0

N.S.

1 1.00 2.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.439 1.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

210 210 205 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.486 1.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 194 121 139 0 504 0 0 79

N.S.

1 0.97 0.60 0.69 0.00 2.51 0.00 0.00 0.39

time (sec)

N/A 0.442 0.345 1.023 0.000 0.247 0.000 0.000 30.238

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 192 176 139 0 324 0 0 78

N.S.

1 0.96 0.88 0.70 0.00 1.63 0.00 0.00 0.39

time (sec)

N/A 0.433 0.227 0.848 0.000 0.263 0.000 0.000 29.221

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 170 82 122 0 284 0 0 131

N.S.

1 0.97 0.47 0.69 0.00 1.61 0.00 0.00 0.74

time (sec)

N/A 0.365 0.100 0.863 0.000 0.250 0.000 0.000 27.605

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 170 142 122 0 268 0 0 59

N.S.

1 0.97 0.81 0.69 0.00 1.52 0.00 0.00 0.34

time (sec)

N/A 0.354 0.124 0.847 0.000 0.257 0.000 0.000 29.131

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 192 105 139 0 440 0 0 79

N.S.

1 0.96 0.53 0.70 0.00 2.21 0.00 0.00 0.40

time (sec)

N/A 0.428 0.181 0.844 0.000 0.284 0.000 0.000 29.235

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 194 109 139 0 493 0 0 78

N.S.

1 0.97 0.54 0.69 0.00 2.45 0.00 0.00 0.39

time (sec)

N/A 0.428 0.222 0.869 0.000 0.255 0.000 0.000 31.702

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 137 39 131 32 39 50 38

N.S.

1 1.00 2.80 0.80 2.67 0.65 0.80 1.02 0.78

time (sec)

N/A 0.230 0.090 0.485 0.229 0.247 0.120 0.286 28.442

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 66 33 126 78 63 41 40

N.S.

1 1.00 1.53 0.77 2.93 1.81 1.47 0.95 0.93

time (sec)

N/A 0.208 0.023 0.466 0.221 0.243 0.115 0.297 27.487

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 118 28 109 23 27 41 27

N.S.

1 1.00 3.37 0.80 3.11 0.66 0.77 1.17 0.77

time (sec)

N/A 0.208 0.020 0.456 0.207 0.237 0.118 0.275 28.088

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 42 22 94 49 29 32 29

N.S.

1 1.00 1.56 0.81 3.48 1.81 1.07 1.19 1.07

time (sec)

N/A 0.171 0.013 0.506 0.205 0.260 0.112 0.284 27.235

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 16 29 17 10 18 17 75 21

N.S.

1 1.14 2.07 1.21 0.71 1.29 1.21 5.36 1.50

time (sec)

N/A 0.193 0.029 0.625 0.203 0.234 0.159 0.265 27.846

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 44 24 99 36 29 34 31

N.S.

1 1.00 1.52 0.83 3.41 1.24 1.00 1.17 1.07

time (sec)

N/A 0.193 0.034 0.202 0.245 0.243 0.127 0.287 26.991

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 136 38 135 39 39 49 37

N.S.

1 1.00 3.78 1.06 3.75 1.08 1.08 1.36 1.03

time (sec)

N/A 0.216 0.046 0.211 0.215 0.235 0.196 0.267 27.462

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 70 35 139 55 54 43 44

N.S.

1 1.00 1.56 0.78 3.09 1.22 1.20 0.96 0.98

time (sec)

N/A 0.208 0.051 0.220 0.211 0.237 0.158 0.277 27.507

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 71 162 54 345 70 54 139 55

N.S.

1 1.06 2.42 0.81 5.15 1.04 0.81 2.07 0.82

time (sec)

N/A 0.268 0.259 1.527 0.203 0.249 0.175 0.310 28.028

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 82 100 48 335 102 60 83 57

N.S.

1 1.28 1.56 0.75 5.23 1.59 0.94 1.30 0.89

time (sec)

N/A 0.259 0.132 1.071 0.220 0.243 0.179 0.307 27.396

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 57 142 44 290 61 42 118 45

N.S.

1 1.04 2.58 0.80 5.27 1.11 0.76 2.15 0.82

time (sec)

N/A 0.234 0.096 1.026 0.219 0.237 0.158 0.309 26.693

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 70 36 270 72 42 79 44

N.S.

1 1.00 1.46 0.75 5.62 1.50 0.88 1.65 0.92

time (sec)

N/A 0.209 0.059 1.365 0.217 0.245 0.161 0.288 26.475

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 34 21 19 34 20 32 16

N.S.

1 1.00 1.89 1.17 1.06 1.89 1.11 1.78 0.89

time (sec)

N/A 0.197 0.048 0.878 0.288 0.236 0.173 0.261 27.749

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 81 72 38 276 74 46 87 47

N.S.

1 1.27 1.12 0.59 4.31 1.16 0.72 1.36 0.73

time (sec)

N/A 0.247 0.095 2.098 0.220 0.240 0.214 0.308 27.474

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 153 53 0 81 60 190 60

N.S.

1 1.00 2.68 0.93 0.00 1.42 1.05 3.33 1.05

time (sec)

N/A 0.240 0.199 3.084 0.000 0.237 0.267 0.322 27.571

[next] [prev] [prev-tail] [front] [up]